int main()
{
	(void)__builtin_bswap64(1llu);
	(void)__builtin_bswap32(1u);
	return 0;
}
